export record RNamed { // ERROR: unsupported
  a: number,
}
